бар-теорема

бар-теорема
бар-теоре́ма

Русско-украинский политехнический словарь. 2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "бар-теорема" в других словарях:

  • ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …   Математическая энциклопедия

  • ВЕЕР — финитарный поток, поток . такой, что для всякого узла из существует лишь конечное число натуральных k, для к рых является узлом . На языке формального интуиционистского математич. анализа формула , выражающая понятие функция …   Математическая энциклопедия

  • ФИНИТИЗМ —         (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа …   Философская энциклопедия

  • КЛАСС — 1) Термин, употребляемый в математике в основном как синоним термина множество для обозначения произвольных совокупностей объектов, обладающих каким либо определенным свойством или признаком (напр., в алгебре классы эквивалентности относительно… …   Математическая энциклопедия

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

  • Австрия — (Österreich; позднелат. Austria, от др. нем. Ostarrichi восточная страна)         Австрийская Республика (Österreichische Republik).          I. Общие сведения          А. государство в Центральной Европе. Граничит на С. с ФРГ и Чехословакией, на …   Большая советская энциклопедия

  • Поток (интуиционизм) — У этого термина существуют и другие значения, см. Поток. Поток  одно из основных понятий интуиционистской математики. Определение Поток определяется как совокупность двух законов и , называемых законом потока и дополнительным законом,… …   Википедия

  • Паскаль — I Паскаль (Pascal)         Блез (19.6.1623, Клермон Ферран, 19.8.1662, Париж), французский религиозный философ, писатель, математик и физик. Родился в семье высокообразованного юриста, занимавшегося математикой и воспитывавшего своих детей под… …   Большая советская энциклопедия

  • ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… …   Философская энциклопедия

  • ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …   Математическая энциклопедия

  • парадокс —         ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… …   Энциклопедия эпистемологии и философии науки


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»